<?php

session_start();
$token = $_GET['token'];
if (!isset($_SESSION['token']) || $token != $_SESSION['token']) {
    header('Location:index.php');
}
?>